[IA64] print domain id and vcpu id when panic

made show_regs() to print domain id and vcpu id.

Signed-off-by: Isaku Yamahata <yamahata@valinux.co.jp>

diff --git a/xen/arch/ia64/linux-xen/process-linux-xen.c b/xen/arch/ia64/linux-xen/process-linux-xen.c
index 22c56e56a26bfaced8a9417068e325a673c3043d..228280f2b8a8846ab74e74ce55dee4bee054d680 100644 (file)
--- a/xen/arch/ia64/linux-xen/process-linux-xen.c
+++ b/xen/arch/ia64/linux-xen/process-linux-xen.c
@@ -126,6 +126,13 @@ show_regs (struct pt_regs *regs)
        printk("psr : %016lx ifs : %016lx ip  : [<%016lx>]    %s\n",
               regs->cr_ipsr, regs->cr_ifs, ip, print_tainted());
 #else
+       struct vcpu* vcpu = current;
+       if (vcpu != NULL) {
+               struct domain* d = vcpu->domain;
+               printk("d 0x%p domid %d\n", d, d->domain_id);
+               printk("vcpu 0x%p vcpu %d\n",
+                      vcpu, vcpu->vcpu_id);
+       }
        printk("\nCPU %d\n", smp_processor_id());
        printk("psr : %016lx ifs : %016lx ip  : [<%016lx>]\n",
               regs->cr_ipsr, regs->cr_ifs, ip);